how to prove a function is onto